logic semantics

Before Montague Grammar, The language shape of logic is studied and studies the range only limited to the artificial language of logic with logic semantics, the logic Pragmatics is basically a blank.

在蒙太格语法以前，逻辑语形学与逻辑语义学研究只限于逻辑人工语言的范围，逻辑语用学则基本处于空白。

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

The XYZ/ ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/ E.

对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

A revisory Kipke semantics weakens Logic Omniscience Problems and remains those reasonable epistemic properties.

在一种修正的可能世界语义学下,削弱了“逻辑全能问题”,幷且保留了那些合理的认知性质.

And logic syntax and semantics in MLMS are given.

讨论了MLMS的模态逻辑语义和语法。

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

The key concept in modern logical semantics is" true", in linguistic philosophy as well, so logic semantics and linguistic philosophy are also interlinked.

现代逻辑语义学的核心概念是“真”，语言哲学的核心概念也是真，因此，现在逻辑语义学与语言哲学也是相通的。

Agent Logic and the True-False Subset Semantics

Agent逻辑和真假子集语义

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

According to the theory of logic semantics and culture pragmatics, there exist inter-cultural presupposition and Tran cultural presupposition.

本文根据逻辑语义学理论和文化语用学理论说明在广告语篇中存在着文化内预设和跨文化预设。